von neumann integer

von Neumann整数